Skip to content

Feat: Enforce Git remote preflight before setup - #232

Open
ivke995 wants to merge 5 commits into
mainfrom
feat/setup-git-remote-preflight
Open

Feat: Enforce Git remote preflight before setup#232
ivke995 wants to merge 5 commits into
mainfrom
feat/setup-git-remote-preflight

Conversation

@ivke995

@ivke995 ivke995 commented Aug 24, 2026

Copy link
Copy Markdown
Contributor
  • Validate the target Git repository and configured agent_trace.repository_remote before prompts or writes.
  • Add typed, actionable NotGitRepository and NotGitRemote errors.

@vercel

vercel Bot commented Aug 24, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
sce-config-json Ready Ready Preview Aug 26, 2026 3:10pm

Request Review

ivke995 and others added 5 commits August 26, 2026 17:09
Require every setup mode to validate its configured Agent Trace remote before prompts or writes. Add typed actionable errors while preserving technical sources without exposing remote URLs, with focused regression coverage and updated contracts.

Co-authored-by: SCE <sce@crocoder.dev>
Preserve runtime diagnostics for Git and remote lookup failures while retaining actionable typed errors for missing prerequisites.

Add strict remote URL lookup and classify only explicit missing-repository and missing-remote cases as user errors. Preserve technical sources and credential-safe diagnostics for other failures.

Co-authored-by: SCE <sce@crocoder.dev>
Reject invalid discovered configuration before setup side effects or Agent Trace
identity fallback. Pin setup and repository-identity Git commands to LC_ALL=C for
stable parsing and diagnostics

Co-authored-by: SCE <sce@crocoder.dev>
Identify the effective missing remote in user-facing setup guidance while
keeping remote URLs out of diagnostics. Carry the remote name through the typed
error and update the documented CLI contracts.

Co-authored-by: SCE <sce@crocoder.dev>
Use <remote> consistently in the suggested git remote add command.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant